windowMenu: Use consistent terminology

Because we don't have a dock or panel to minimize to, the `minimize`
shortcut was renamed to `hide` a long time ago.

Likewise, `unmaximize` appears as `restore` in keyboard shortcuts.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4088

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1834>

diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index bb6a8df7b1a33f7d40253da75db48d7b6d293e6d..27cecdac23776ac99a73255bf84c5b86bc52de52 100644 (file)
--- a/js/ui/windowMenu.js
+++ b/js/ui/windowMenu.js
@@ -24,14 +24,14 @@ var WindowMenu = class extends PopupMenu.PopupMenu {
 
         let item;
 
-        item = this.addAction(_("Minimize"), () => {
+        item = this.addAction(_('Hide'), () => {
             window.minimize();
         });
         if (!window.can_minimize())
             item.setSensitive(false);
 
         if (window.get_maximized()) {
-            item = this.addAction(_("Unmaximize"), () => {
+            item = this.addAction(_('Restore'), () => {
                 window.unmaximize(Meta.MaximizeFlags.BOTH);
             });
         } else {